Vive la différence II. The Ax-Kochen isomorphism theorem
نویسنده
چکیده
We show in §1 that the Ax-Kochen isomorphism theorem [AK] requires the continuum hypothesis. Most of the applications of this theorem are insensitive to set theoretic considerations. (A probable exception is the work of Moloney [Mo].) In §2 we give an unrelated result on cuts in models of Peano arithmetic which answers a question on the ideal structure of countable ultraproducts of Z posed in [LLS]. In §1 we also answer a question of Keisler and Schmerl regarding Scott complete ultrapowers of R .
منابع مشابه
. L O ] 1 5 A pr 1 99 3 Vive la différence II . The Ax - Kochen isomorphism theorem
We show in §1 that the Ax-Kochen isomorphism theorem [AK] requires the continuum hypothesis. Most of the applications of this theorem are insensitive to set theoretic considerations. (A probable exception is the work of Moloney [Mo].) In §2 we give an unrelated result on cuts in models of Peano arithmetic which answers a question on the ideal structure of countable ultraproducts of Z posed in [...
متن کاملVive La Différence Iii
We show that, consistently, there is an ultrafilter F on ω such that if N n = (P l n ∪ Q l n, P l n, Q l n, R l n) (for l = 1, 2, n < ω), P l n ∪ Qn ⊆ ω, and Q
متن کاملVive la Différence I: Nonisomorphism of ultrapowers of countable models
We show that it is not provable in ZFC that any two countable elementarily equivalent structures have isomorphic ultrapowers relative to some ultrafilter on ω. The author thanks the BSF and the Basic Research Fund, Israeli Academy of Sciences and the NSF for partial support of this research. This paper owes its existence to Annalisa Marcja’s hospitality in Trento, July 1987; van den Dries’ curi...
متن کاملAx-kochen-eršov Theorems for P -adic Integrals and Motivic Integration
This paper is concerned with extending classical results à la Ax-Kochen-Eršov to p-adic integrals in a motivic framework. The first section is expository, starting from Artin’s conjecture and the classical work of Ax, Kochen, and Eršov and ending with recent work of Denef and Loeser giving a motivic version of the results of Ax, Kochen, and Eršov. In that section we have chosen to adopt a quite...
متن کاملThe Ax-kochen Theorem: an Application of Model Theory to Algebra
The Ax-Kochen Theorem is a purely algebraic statement about the zeros of homogeneous polynomials over the p-adic numbers, but its proof uses techniques from mathematical logic. This thesis provides an exposition of the algebra and model theory necessary to understand the theorem and its proof.
متن کامل